resolution theorem proving

英 [ˌrezəˈluːʃn ˈθɪərəm ˈpruːvɪŋ] 美 [ˌrezəˈluːʃn ˈθiːərəm ˈpruːvɪŋ]

【计】归结定理证明

计算机



双语例句

  1. Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.
    由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
  2. We bring forward some problems with regard to automated theorem proving based on resolution principle and program extracting. The settlement of these problems will make program synthesis and automated theorem proving applied.
    本文提出了基于归结原理实现定理自动证明和程序抽取方面有待解决的问题,这些问题的解决将使得定理机器证明和程序综合从理论走向实用。
  3. A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
    归结原理及其在数学定理证明中的应用
  4. The resolving methods coming from resolution theorem proving, to STRIPS methods, and converting planning problems to satisfiability problems and exploiting Model checking methods to solve planning problems.
    同时,智能规划的求解方法由最初的用归结定理证明的方法求解规划,扩展为用STRIPS方法求解规划问题,及将规划问题转化为可满足问题来求解和采用模型检测的方法来求解规划问题。